/* javascript functions (you don't say) */
function popup(path, width, height)
{
    newwindow = window.open(path, '_blank', 'height=' + height + 'px, width=' + width + 'px');
    if (window.focus) {newwindow.focus()}
}
